Predicate-term negation and the indeterminacy of the future
ثبت نشده
چکیده
This essay introduces a formal structure to model the indeterminacy of the future in EinsteinMinkowski space-time. We consider a first-order language, supplemented with an operator for predicate-term negation, and defend the claim that such an operation provides an appropriate model for the indeterminacy of future contingents. In the final section, it is proved that given a language otherwise adequate to represent a physical theory, at least some of the predicates of that language are indeterminate when the future is not causally determined by the present and the past. The essay concludes with a brief discussion of some possible extensions of this model as well as some open questions.
منابع مشابه
Slaney’s Logic F∗∗ Is Constructive Logic with Strong Negation
In [19] Slaney et al. introduced a little known deductive system F∗∗ in connection with the problem of the indeterminacy of future contingents. The main result of this paper shows that, up to definitional equivalence, F∗∗ has a familiar description: it is precisely Nelson’s constructive logic with strong negation [25].
متن کاملNegations in Description Logic – Contraries, Contradictories, and Subcontraries
In [10], several constructive description logics were proposed as intuitionistic variants of description logics, in which classical negation was replaced by strong negation as a component to treat negative atomic information. For conceptual representation, not only strong negation but also combining it with classical negation seems to be useful and necessary due to their respective features cor...
متن کاملDescription Logic and Order-sorted Logic
I have been studying the following work on description logic, which is closely related to my main work on extensions of order-sorted logic and logic programming [4, 3, 2]. Title: Negation in Description Logics: Contraries, Contradictories and Subcontraries (under submission) Abstract: We propose an alternative description logic ALC∼ with classical negation and strong negation. In particular, we...
متن کاملIndeterminacy, Discovery and Polyphony in Houshang Golshiri's Short Stories
Houshang Golshiri is among the Iranian leading creative and imaginative fiction writers who managed to open up new horizons in Iranian fiction. Hence he could be claimed to be an innovative avant-garde short story writer with unique stylistic characteristics. Although inspired by fiction writers such as Alavi, Sadeqi, Golestan and Sa'edi in the techniques of narration, Golshiri nonetheless stan...
متن کاملNegation and Generalized Quantifiers
Linguistic research has clearly shown that natural languages exhibit different forms of negation. Foremost among these are sentence negation and predicate negation. In this study, the relationship between both will be discussed. In particular, it wiu be argued that we can give an accurate description of the logical connections between sentence negation and predicate negation by reference to the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010